Semantics of Computable Physical Models

Complexity of Computable Models

Computable Models of Theories with Few Models

In this paper we investigate computable models of א1-categorical theories and Ehrenfeucht theories. For instance, we give an example of an א1categorical but not א0-categorical theory T such that all the countable models of T except its prime model have computable presentations. We also show that there exists an א1-categorical but not א0-categorical theory T such that all the countable models of...

Semantics of Cyber-Physical Systems

The very recent development of Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts with the physical world. The solution to CPS must transcend the boundary between the cyber world and the physical world by providing integrated models addressing issues from both worlds simultaneously. This needs new theories, conceptual frameworks and engineer...

Computable Trees, Prime Models, and Relative Decidability

We show that for every computable tree T with no dead ends and all paths computable, and every D >T ∅, there is a D-computable listing of the isolated paths of T . It follows that for every complete decidable theory T such that all the types of T are computable and every D >T ∅, there is a D-decidable prime model of T . This result extends a theorem of Csima and yields a stronger version of the...

determination of some physical and mechanical properties red bean

چکیده: در این تحقیق، برخی خواص فیزیکی و مکانیکی لوبیا قرمز به-صورت تابعی از محتوی رطوبت بررسی شد. نتایج نشان داد که رطوبت بر خواص فیزیکی لوبیا قرمز شامل طول، عرض، ضخامت، قطر متوسط هندسی، قطر متوسط حسابی، سطح تصویر شده، حجم، چگالی توده، تخلخل، وزن هزار دانه و زاویه ی استقرار استاتیکی در سطح احتمال 1 درصد اثر معنی داری دارد. به طوری که با افزایش رطوبت از 54/7 به 12 درصد بر پایه خشک طول، عرض، ضخام...